A Proposal for Coroutines in E-LOTOS
نویسندگان
چکیده
This paper proposes a coroutine operator for E-Lotos. The syntax, the static semantics, and the dynamic semantics of the operator are provided. We show by several examples that the coroutine operator is adequate to express suspension and resuming. Moreover, it is more general and simpler than the suspend-resume operator.
منابع مشابه
A Proposal for Coroutines and Suspend / Resume in E -
The importance of coroutines as a programming paradigm is recognized. This paper proposes to extend LOTOS with a coroutine operator, for which syntax, static semantics, and untimed semantics are provided. We show that this coroutine mechanism generalizes several other op-eratorrs, which exist in LOTOS or which have been proposed for E-LOTOS, including trap, suspend-resume, and hiding. 1 Comment...
متن کاملAbout time nondeterminism and exception handling in a temporal extension of LOTOS
The paper deals with the study of a temporal extension of Basic LOTOS, and addresses in particular issues related to the expression of time nondeterminism and to the speciication of temporal exception handling behaviors. The underlying framework of the proposed extension stems from our previous proposal, RT-LOTOS, and from the work conducted by G. Leduc on Timed LOTOS and, more recently on ET-L...
متن کاملOn the Introduction of Exceptions in E-LOTOS
The advantages of exception handling are well-known and several sequential or parallel programming languages provide exception handling mechanisms. Unfortunately, none of the three standardized Formal Description Techniques (Estelle, Lotos, and Sdl) supports exceptions. In 1992, Quemada and Azcorra pointed out the need for structuring protocol descriptions with exceptions and proposed to extend...
متن کاملA True Concurrency Semantics for ET-LOTOS
One of the central objectives of the LOTOS re-standardisation activity is to deene an enhanced LOTOS language which supports real-time speciica-tion. The timed extension is based upon a timed LOTOS proposal ET-LOTOS. This paper deenes a (branching-time) non-interleaving semantics for ET-LOTOS without data. As a denotational model a suitable timed extension of Langerak's bundle event structures ...
متن کاملA unified syntax for stackless and stackful coroutines
This paper proposes a unified syntax for stackless and stackful coroutines. The syntax is based on N4397.3 The most important features are: • first-class object that can be stored in variables or containers • introduction of new keyword resumable together with a lambda-like expression • symmetric transfer of execution control, e.g. suspend-by-call enables a richer set of control flows than asym...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2007